Puzzle Pictures

Constraining Pictures with Pictures

This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for...

Tla in Pictures Tla in Pictures

The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we h a v e performed basic and applied research to support Digital's business objectives. Our current w ork includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management technique...

Spot the difference: Solving the puzzle of hidden pictures in the lizard genome for identification of regeneration factors

All living things share some common life processes, such as growth and reproduction, and have the ability to respond to their environment. However, each type of organism has its own specialized way of managing biological events. Genetic sequences determine phenotypic and physiological traits. Based on genetic information, comparative genomics has been used to delineate the differences and simil...

Puzzle Generators and Symmetric Puzzle Layout

We present two abstract models of puzzles, permutation puzzles and cyclic puzzles, which can be modelled as puzzle graphs. Based on these models, we implement two puzzle generators and produce various layouts of the puzzles using graph drawing algorithms. Using these puzzle generators we can create new puzzles. Further, we can create new user interfaces of a puzzle by applying different layout ...

City Pictures